$\forall$$n$:$\mathbb{N}$, $i$:\{1..$n$$^{-}$\}. (($\neg$(0 = 0)) $\wedge$ ($\neg$($n$ = 0 $\in$ $\mathbb{Z}$))) $\Rightarrow$ False